Kolmogorov complexity and computably enumerable sets
نویسندگان
چکیده
منابع مشابه
Kolmogorov complexity and computably enumerable sets
We study the computably enumerable sets in terms of the: (a) Kolmogorov complexity of their initial segments; (b) Kolmogorov complexity of finite programs when they are used as oracles. We present an extended discussion of the existing research on this topic, along with recent developments and open problems. Besides this survey, our main original result is the following characterization of the ...
متن کاملKolmogorov Complexity of Generalized Computably Enumerable Sets
The main purpose of this work is to characterize computably enumerable (c.e.) sets and generalized c.e. sets according to Kolmogorov complexity hierarchy. Given a set A, we consider A m, the initial segment of length m of the characteristic sequence of A. We show that the characteristic sequence of a 2 x-c.e. set can be random in the sense of Martin-LL of. We show that for x n-c.e. sets A, the ...
متن کاملUniversal computably enumerable sets and initial segment prefix-free complexity
We show that there are Turing complete computably enumerable sets of arbitrarily low non-trivial initial segment prefix-free complexity. In particular, given any computably enumerable set A with non-trivial prefixfree initial segment complexity, there exists a Turing complete computably enumerable set B with complexity strictly less than the complexity of A. On the other hand it is known that s...
متن کاملKolmogorov Complexity and Instance Complexity of Recursively Enumerable Sets
We study in which way Kolmogorov complexity and instance complexity affect properties of r.e. sets. We show that the well-known 2 log n upper bound on the Kolmogorov complexity of initial segments of r.e. sets is optimal and characterize the T-degrees of r.e. sets which attain this bound. The main part of the paper is concerned with instance complexity of r.e. sets. We construct a nonrecursive ...
متن کاملDifferences of Computably Enumerable Sets
We consider the lower semilattice D of diierences of c.e. sets under inclusion. It is shown that D is not distributive as a semilattice, and that the c.e. sets form a deenable subclass.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2013
ISSN: 0168-0072
DOI: 10.1016/j.apal.2013.06.007